Reliable Modeling of Ideal Generic Memristors via State-Space Transformation
نویسندگان
چکیده
The paper refers to problems of modeling and computer simulation of generic memristors caused by the so-called window functions, namely the stick effect, nonconvergence, and finding fundamentally incorrect solutions. A profoundly different modeling approach is proposed, which is mathematically equivalent to windowbased modeling. However, due to its numerical stability, it definitely smoothes the above problems away.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملPinched hysteretic loops of ideal memristors, memcapacitors and meminductors must be ‘self-crossing’
Recently, novel findings have been published, according to which some mem-systems excited by harmonic signals can be characterised by the so-called ‘non-crossing-type pinched hysteretic loops’. Presented is a proof that this phenomenon cannot occur in ideal memristors, memcapacitors and meminductors which are defined axiomatically via the corresponding constitutive relations or via other equiva...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملInvestigation of Thermodynamic Consistency Test of Carbon Dioxide (CO2) in Room-Temperature Ionic liquids using Generic van der Waals Equation of State
Thermodynamic consistency test of isothermal vapor-liquid equilibrium (VLE) data of various binary systems containing Carbon dioxide (CO2)/Room temperature ionic liquids (RTILs) have been investigated in wide ranges of pressures in each isotherm precisely. In this paper Generic van der Waals (GvdW) equation of state (EoS) coupled with modified van der Waals Berthelot mixing rule has ...
متن کاملFourier Analysis of Memristor Excited by Sinusoidal Signal
The paper deals with the analysis of flux-controlled memristor which is described by its unambiguous charge-flux constitutive relation. The memristor is excited by ideal sinusoidal voltage source in order to sense its typical i – v pinched hysteretic loop. Two equivalent schematics of the transformation of the exciting voltage into the current response are described. The first one is selected f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015